Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
251	Mona: decidable arithmetic in practice Morten Biehl1 , Nils Klarlund2, and Theis Rauhe3 BRICS, University of Aarhus ([removed]) AT&T Research ([removed]) 3 BRICS, University of Aarhus (theis@brics.d Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:23 Metalogic Model theory Combinatorics on words Automata theory Models of computation Second-order logic Interpretation First-order logic Finite-state machine Formal languages Logic Mathematics
252	Interactive Evolution of Camouflage Abstract This article presents an abstract computation model of the evolution of camouflage in nature. The 2D model uses evolved textures for prey, a background texture representing th Add to Reading List Source URL: www.red3d.com Language: English - Date: 2011-08-14 13:49:15 Mimicry Evolutionary algorithms Antipredator adaptations Biological interactions Camouflage Texture synthesis Crypsis Genetic algorithm Active camouflage Biology Behavior Predation
253	Changing Flights in Mid-air: A Model for Safely Modifying Continuous Queries Kyumars Sheykh Esmaili, Tahmineh Sanamrad, Peter M. Fischer, Nesime Tatbul Systems Group, ETH Zurich, Switzerland {kyumarss, sanamrat, petﬁs Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2011-04-19 11:39:05 Database management systems Models of computation Query languages Database theory Programming paradigms SQL FO Database Bin Computing Data management Theoretical computer science
254	Minimalist Multiple Target Tracking Using Directional Sensor Beams Leonardo Bobadilla, Oscar Sanchez, Justin Czarnowski, Steven M. LaValle Abstract— We consider the problem of determining the paths of multiple, unpredi Add to Reading List Source URL: msl.cs.uiuc.edu Language: English - Date: 2011-10-14 01:25:06 Mathematical optimization Models of computation Multi-agent systems Dynamic programming Operations research Optimal control Algorithm Agent-based model Wireless sensor network Mathematics Systems theory Science
255	AN ALGEBRA OF RELATIONS FOR MACHINE COMPUTATION the paper that should have been the game changer, with annotations by Hugh Darwen, 2014 Patrick Hall, Peter Hitchcock, Stephen Todd IBM (UK) Scientific Centre Neville Road Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2015-01-02 12:25:10 Data management Relational algebra Tuple Finitary relation Relation Entailment Projection Extension Candidate key Logic Relational model Mathematics
256	International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:43 Model theory Automata theory Model checking Models of computation Binary decision diagram Boolean algebra First-order logic Finite-state machine CPU cache Mathematical logic Logic Mathematics
257	Technische UniversitŠt MŸnchen FakultŠt fŸr Informatik Lehrstuhl fŸr Programmiermethodik und Verteilte Systeme Univ.-Prof. Dr. M. Broy Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2007-08-26 06:05:19 Petri nets Formal methods Model checking Tamagotchi Software engineering Visual programming language Computer science TAPAAL Model Checker Models of computation Concurrency Diagrams
258	Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:34 Boolean algebra Model checking Mathematics Formal methods Binary decision diagram Models of computation Finite-state machine Tree automaton Computability Automata theory Theoretical computer science Diagrams
259	HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, Serge Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-25 18:43:01 Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory
260	Czech Technical University in Prague Faculty of Electrical Engineering Doctoral Thesis July 2014 Add to Reading List Source URL: cyber.felk.cvut.cz Language: English - Date: 2014-08-05 04:41:01 Models of computation Algorithm Mathematical logic Theoretical computer science Artificial intelligence Mathematics Multi-agent system Game theory Agent-based model Science Applied mathematics Theory of computation

UPDATE